// d.h: empty
